l-all(L; x.P(x)) == reduce((x,p. P(x)  p); True; L) 

latex

Definitions	reduce(f; k; as), x.A(x), P  Q, True
FDL editor aliases	l-all